#pragma once

#include "DLTerm.hpp"
#include "DLCardinalityRestriction.hpp"

namespace terms {
	namespace dl {
		template <typename L=std::string, typename I=std::string, typename C=std::string, typename R=std::string>
		class DLMaxCardinalityRestriction
			: public virtual DLCardinalityRestriction<L, I, C, R>
		{
		public:
			using DLCardinalityRestriction<L, I, C, R>::DLCardinalityRestriction;
		};
	}
}
